Mathematical induction - PDFSEARCH.IO - Document Search Engine

Mathematical induction
Results: 210

#	Item
81	SET THEORY Contents 1. Introduction 2. Everything is a set 3. Classes Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:24 Set theory Cardinal numbers Cofinality Order theory Large cardinals Transfinite induction Constructible universe Cardinality Grothendieck topology Mathematical logic Mathematics Ordinal numbers
82	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Cardinal numbers Set theory Ordinal arithmetic Transfinite induction Constructible universe Forcing Aleph number Successor cardinal Normal function Mathematical logic Mathematics Ordinal numbers
83	2009_02_23 generalized backward induction.dvi Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:01:48 Mathematics Subgame Solution concept Extensive-form game Non-credible threat Centipede game Backward induction Nash equilibrium Information set Game theory Problem solving Mathematical logic
84	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
85	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
86	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
87	1 CONCEPT FORMATION AND DECISION TREE INDUCTION USING THE GENETIC PROGRAMMING PARADIGM John R. Koza Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:18:23 Computing Genetic algorithms Applied mathematics Genetic programming Operations research Lisp programming language Lisp John Koza Fitness function Evolutionary algorithms Software engineering Mathematical optimization
88	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
89	Teachers’ Reference Lesson 1 Nature of Science Learning Objectives Students will Add to Reading List Source URL: resources.edb.gov.hk Language: English - Date: 2009-04-15 04:11:38 Statistical inference Design of experiments Philosophy of science Reasoning Inductive reasoning Scientific method Mathematical induction Swan Token Science Knowledge Epistemology
90	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory

UPDATE